Gunter, Elsa: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Plants Assemble Species Specific Bacterial Communities from Common Core Taxa in Three Arcto-Alpine Climate Zones

Kumar, Manoj, Brader, Günter, Sessitsch, Angela, Mäki, Anita, van Elsas, Jan D., Nissinen, Riitta

Journal:

Frontiers in Microbiology

Year:

2017

Language:

english

File:

PDF, 2.37 MB

english, 2017

2

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Human-style theorem proving using PVS

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.58 MB

english, 1997

3

Model checking, testing and verification working together

Elsa Gunter, Doron Peled

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 201 KB

english, 2005

4

Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, Jiaxiang Zhou

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2004

Language:

english

File:

PDF, 1.02 MB

english, 2004

5

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Proof normalization for a first-order formulation of higher-order logic

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 813 KB

english, 1997

6

Formal software engineering

Gunter, Carl A., Gunter, Elsa L., Zave, Pamela

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 121 KB

english, 2000

7

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || A hybrid approach to verifying liveness in a symmetric multi-processor

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.44 MB

english, 1997

8

Covalent Functionalization by Cycloaddition Reactions of Pristine Defect-Free Graphene

Daukiya, Lakshya, Mattioli, Cristina, Aubel, Dominique, Hajjar-Garreau, Samar, Vonau, François, Denys, Emmanuel, Reiter, Günter, Fransson, Jonas, Perrin, Elsa, Bocquet, Marie-Laure, Bena, Cristina, Go

Journal:

Year:

2017

Language:

english

File:

PDF, 4.21 MB

english, 2017

9

Role-based access control for boxed ambients

Adriana Compagnoni, Elsa L. Gunter, Philippe Bidinger

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 397 KB

english, 2008

10

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Formal verification of concurrent programs in Lp and in Coq: A comparative analysis

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.43 MB

english, 1997

11

Recursion principles for syntax with bindings and substitution

Popescu, Andrei, Gunter, Elsa L.

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 642 KB

english, 2011

12

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || ML programming in constructive type theory

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 47 KB

english, 1997

13

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Using a PVS embedding of CSP to verify authentication protocols

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.15 MB

english, 1997

14

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Derivation and use of induction schemes in higher-order logic

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 969 KB

english, 1997

15

Compositional message sequence charts

Elsa L. Gunter, Anca Muscholl, Doron Peled

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2003

Language:

english

File:

PDF, 367 KB

english, 2003

16

[IEEE 2006 IEEE International Conference on Systems, Man and Cybernetics - Taipei, Taiwan (2006.10.8-2006.10.11)] 2006 IEEE International Conference on Systems, Man and Cybernetics - I-Living: An Open System Architecture for Assisted Living

Wang, Qixin, Shin, Wook, Liu, Xue, Zeng, Zheng, Oh, Cham, AlShebli, Bedoor K., Caccamo, Marco, Gunter, Carl A., Gunter, Elsa, Hou, Jennifer, Karahalios, Karrie, Sha, Lui

Year:

2006

Language:

english

File:

PDF, 4.47 MB

english, 2006

17

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Possibly infinite sequences in theorem provers: A comparative study

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.32 MB

english, 1997

18

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Verifying the accuracy of polynomial approximations in HOL

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.23 MB

english, 1997

19

SPIE Proceedings [SPIE SPIE Medical Imaging - San Diego, California, United States (Saturday 27 February 2016)] Medical Imaging 2016: Image Processing - Slide specific models for segmentation of differently stained digital histopathology whole slide images

Styner, Martin A., Angelini, Elsa D., Brieu, Nicolas, Pauly, Olivier, Zimmermann, Johannes, Binnig, Gerd, Schmidt, Günter

Year:

2016

Language:

english

File:

PDF, 3.09 MB

english, 2016

20

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || A full formalisation of π-calculus theory in the calculus of constructions

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.43 MB

english, 1997

21

[ACM Press the Fourth International Workshop - Montreal, Quebec, Canada (2009.08.02-2009.08.02)] Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages Theory and Practice - LFMTP '09 - Theory support for weak higher order abstract syntax in Isabelle/HOL

Gunter, Elsa L., Osborn, Christopher J., Popescu, Andrei

Year:

2009

Language:

english

File:

PDF, 248 KB

english, 2009

22

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Rewriting, decision procedures and lemma speculation for automated hardware verification

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 951 KB

english, 1997

23

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Refining reactive systems in HOL using action systems

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.07 MB

english, 1997

24

[IEEE 28th IEEE International Real-Time Systems Symposium (RTSS 2007) - Tucson, AZ, USA (2007.12.3-2007.12.6)] 28th IEEE International Real-Time Systems Symposium (RTSS 2007) - The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures

Crenshaw, Tanya L., Gunter, Elsa, Robinson, C. L., Sha, Lui, Kumar, P. R.

Year:

2007

Language:

english

File:

PDF, 406 KB

english, 2007

25

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || On formalization of bicategory theory

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.06 MB

english, 1997

26

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Towards an object-oriented progification language

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.23 MB

english, 1997

27

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Verification for robust specification

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 897 KB

english, 1997

28

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || A theory of structured model-based specifications in Isabelle/HOL

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.33 MB

english, 1997

29

Correspondence Assertions for Process Synchronization in Concurrent Communications

Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 315 KB

english, 2004

30

Typechecking Safe Process Synchronization

Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 373 KB

english, 2005

31

Communications

Donald Manildi, Robert Rimm, Leonard J. Lehrman, Gunter Elsholz, Elsa van Maren and Brian Newbould

Journal:

Year:

2004

Language:

english

File:

PDF, 550 KB

english, 2004

32

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Proof presentation for Isabelle

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.39 MB

english, 1997

33

Specifying and executing optimizations for generalized control flow graphs

Mansky, William, Gunter, Elsa L., Griffith, Dennis, Adams, Michael D.

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

34

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Higher order quotients and their implementation in Isabelle HOL

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.05 MB

english, 1997

35

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Type classes and overloading in higher-order logic

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.19 MB

english, 1997

36

Correspondence assertions for process synchronization in concurrent communications

BONELLI, EDUARDO, COMPAGNONI, ADRIANA, GUNTER, ELSA

Journal:

Journal of Functional Programming

Year:

2005

Language:

english

File:

PDF, 318 KB

english, 2005

37

[ACM Press the 49th ACM Technical Symposium - Baltimore, Maryland, USA (2018.02.21-2018.02.24)] Proceedings of the 49th ACM Technical Symposium on Computer Science Education - SIGCSE '18 - Using a Computer-based Testing Facility to Improve Student Learning in a Programming Languages and Compilers Course

Nip, Terence, Gunter, Elsa L., Herman, Geoffrey L., Morphew, Jason W., West, Matthew

Year:

2018

Language:

english

File:

PDF, 1.14 MB

english, 2018

38

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || A comparative study of Coq and HOL

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.25 MB

english, 1997

39

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - Recursion principles for syntax with bindings and substitution

Popescu, Andrei, Gunter, Elsa L.

Year:

2011

Language:

english

File:

PDF, 642 KB

english, 2011

40

$M$-Groups with Sylow Towers

Journal:

Proceedings of the American Mathematical Society

Year:

1989

Language:

english

File:

PDF, 223 KB

english, 1989

41

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Strong Normalization for System F by HOAS on Top of FOAS

Popescu, Andrei, Gunter, Elsa L., Osborn, Christopher J.

Year:

2010

Language:

english

File:

PDF, 318 KB

english, 2010

42

$M$-groups with Sylow towers

Gunter, Elsa L.

Journal:

Proceedings of the American Mathematical Society

Year:

1989

Language:

english

File:

PDF, 776 KB

english, 1989

43

[ACM Press the 2011 International Symposium - Toronto, Ontario, Canada (2011.07.17-2011.07.21)] Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 - Automated framework for formal operator task analysis

Yasmeen, Ayesha, Gunter, Elsa L.

Year:

2011

Language:

english

File:

PDF, 907 KB

english, 2011

44

Tracing the executions of concurrent programs

Elsa Gunter, Doron Peled

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 149 KB

english, 2002

45

[IEEE 2011 IEEE International Conference on Systems, Man and Cybernetics - SMC - Anchorage, AK, USA (2011.10.9-2011.10.12)] 2011 IEEE International Conference on Systems, Man, and Cybernetics - Robustness for protection envelopes with respect to human task variation

Yasmeen, Ayesha, Gunter, Elsa L.

Year:

2011

Language:

english

File:

PDF, 634 KB

english, 2011

46

[IEEE 2011 IEEE International Conference on Systems, Man and Cybernetics - SMC - Anchorage, AK, USA (2011.10.9-2011.10.12)] 2011 IEEE International Conference on Systems, Man, and Cybernetics - Toward a multi-method approach to formalizing human-automation interaction and human-human communications

Bass, Ellen J., Bolton, Matthew L., Feigh, Karen, Griffith, Dennis, Gunter, Elsa, Mansky, William, Rushby, John

Year:

2011

Language:

english

File:

PDF, 706 KB

english, 2011

47

[IEEE 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007) - Boston, MA, USA (2007.06.25-2007.06.27)] 2007 Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (HCMDSS-MDPnP 2007) - PAS: A Wireless-Enabled, Sensor-Integrated Personal Assistance System for Independent and Assisted Living

Hou, Jennifer C., Wang, Qixin, AlShebli, Bedoor K., Ball, Linda, Birge, Stanley, Caccamo, Marco, Cheah, Chin-Fei, Gilbert, Eric, Gunter, Carl A., Gunter, Elsa, Lee, Chang-Gun, Karahalios, Karrie, Nam,

Year:

2007

Language:

english

File:

PDF, 655 KB

english, 2007

48

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Executing formal specifications by translation to higher order logic programming

Gunter, Elsa L., Felty, Amy

Year:

1997

Language:

english

File:

PDF, 1.18 MB

english, 1997

49

Safety of a Smart Classes-Used Regression Test Selection Algorithm

Mansky, Susannah, Gunter, Elsa L.

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2020

File:

PDF, 602 KB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски